1

The Undecidability of Monadic Modal Quantification Theoryby Saul A. Kripke

Year:
1966
Language:
english
File:
PDF, 301 KB
english, 1966
2

A Completeness Theorem in Modal Logicby Saul A. Kripke

Year:
1966
Language:
english
File:
PDF, 303 KB
english, 1966
4

Quantifiers and Modal Operatorsby E. J. Lemmon

Year:
1966
Language:
english
File:
PDF, 324 KB
english, 1966